Some results on Kripke models over an arbitrary fixed frame
نویسندگان
چکیده
We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski’s test and Löwenheim-Skolem’s theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models K K′ are studied. —————————————————————————2000 Mathematics Subject Classification: 03B20 (03C07, 03C20)
منابع مشابه
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc
Given the “possible worlds” interpretation of modal logic, a refinement of a Kripke model is another Kripke model in which an agent has ruled out some possible worlds to be consistent with some new information. The refinements of a finite Kripke model have been shown to correspond to the results of applying arbitrary action models to the Kripke model [10]. Refinement modal logics add quantifier...
متن کاملA Remark on Propositional Kripke Frames Sound for Intuitionistic Logic
Usually, in the Kripke semantics for intuitionistic propositional logic (or for superintuitionistic logics) partially ordered frames are used. Why? In this paper we propose an intrinsically intuitionistic motivation for that. Namely, we show that every Kripke frame (with an arbitrary accessibility relation), whose set of valid formulas is a superintuitionistic logic, is logically equivalent to ...
متن کاملON THE LIFTS OF SEMI-RIEMANNIAN METRICS
In this paper, we extend Sasaki metric for tangent bundle of a Riemannian manifold and Sasaki-Mok metric for the frame bundle of a Riemannian manifold [I] to the case of a semi-Riemannian vector bundle over a semi- Riemannian manifold. In fact, if E is a semi-Riemannian vector bundle over a semi-Riemannian manifold M, then by using an arbitrary (linear) connection on E, we can make E, as a...
متن کاملSeismic Evaluation of Flexible-Base Low-Rise Steel Frames Using Beam-On-Nonlinear-Winkler-Foundation Modeling of Shallow Footings
Recent investigations have shown that the influences of Soil-Structure Interaction (SSI) may be detrimental to the seismic response of structure, and hence neglecting this phenomenon in analysis and design may lead to an un-conservative design. The objective of this paper is to quantify the effects of nonlinear soil-structure interaction on the seismic response of a low-rise special moment fram...
متن کاملKripke Models of Transfinite Provability Logic
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability predicates of increasing strength. Although GLPΛ has no non-trivial Kripke frames, Ignatiev showed that indeed one can construct a universal Kripke frame for the variable-free fragment with natural number modalities, denoted GLPω. In this paper we show how to extend these con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 49 شماره
صفحات -
تاریخ انتشار 2003